Improving Local Search Algorithms via Probabilistic Configuration Checking

نویسندگان

چکیده

Configuration checking (CC) has been confirmed to alleviate the cycling problem in local search for combinatorial optimization problems (COPs). When using CC heuristics graph problems, a critical concept is configuration of vertices. All existing variants employ either 1- or 2-level neighborhoods vertex as its configuration. Inspired by idea that with different levels should have contributions solving COPs, we propose probabilistic (PC), which introduces probabilities at consider impact on strategy. Based PC, first (PCC), can be developed an automated and lightweight favor. We then apply PCC two classic COPs shown achieve good results CC, our preliminary confirm improves algorithms because alleviates problem.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Double Configuration Checking in Stochastic Local Search for Satisfiability

Stochastic local search (SLS) algorithms have shown effectiveness on satisfiable instances of the Boolean satisfiability (SAT) problem. However, their performance is still unsatisfactory on random k-SAT at the phase transition, which is of significance and is one of the empirically hardest distributions of SAT instances. In this paper, we propose a new heuristic called DCCA, which combines two ...

متن کامل

Local search for Boolean Satisfiability with configuration checking and subscore

This paper presents and analyzes two new efficient local search strategies for the Boolean Satisfiability (SAT) problem. We start by proposing a local search strategy called configuration checking (CC) for SAT. The CC strategy results in a simple local search algorithm for SAT called Swcc, which shows promising experimental results on random 3-SAT instances, and outperforms TNM, the winner of S...

متن کامل

Configuration Checking with Aspiration in Local Search for SAT

An interesting strategy called configuration checking (CC) was recently proposed to handle the cycling problem in local search for Minimum Vertex Cover. A natural question is whether this CC strategy also works for SAT. The direct application of CC did not result in stochastic local search (SLS) algorithms that can compete with the current best SLS algorithms for SAT. In this paper, we propose ...

متن کامل

Incremental Knowledge Acquisition for Improving Probabilistic Search Algorithms

A new incremental knowledge acquisition approach for the effective development of efficient problem solvers for combinatorial problems based on probabilistic search algorithms is proposed. The approach addresses the known problem of adapting probabilistic search algorithms, such as genetic algorithms or simulated annealing, by the introduction of domain knowledge. This is done by incrementally ...

متن کامل

A Hybrid Algorithm using Firefly, Genetic, and Local Search Algorithms

In this paper, a hybrid multi-objective algorithm consisting of features of genetic and firefly algorithms is presented. The algorithm starts with a set of fireflies (particles) that are randomly distributed in the solution space; these particles converge to the optimal solution of the problem during the evolutionary stages. Then, a local search plan is presented and implemented for searching s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ... AAAI Conference on Artificial Intelligence

سال: 2022

ISSN: ['2159-5399', '2374-3468']

DOI: https://doi.org/10.1609/aaai.v36i9.21269